261. Proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
رده :
QA
75
.
5
.
S9574a
262. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
263. Proceedings of ... IEEE International Conference on Fuzzy Systems/the international joint conference of the ... IEEE International Conference on Fuzzy Systems and the .... International Fuzzy Engineering Symposium
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Neural networks )Computer science(,Congresses ، Fuzzy systems,Congresses ، Logic, Symbolic and mathematical,Congresses ، Intelligent control systems
رده :
QA
76
.
87
.
I3434a
264. Proceedings of the First Logic Congresses, May 5-7, 1990, Tehran, Iran
پدیدآورنده : Logic Congress )0991: Tehran, Iran(
موضوع : ، Logic, Symbolic and mathematical-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
265. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
266. Proceedings of the Second Scandinavian Logic Symposium
پدیدآورنده : Scandinavian Logic Symposium, 2d, 0791, University of Oslo
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical - Congresses
رده :
QA
9
.
S32
1970
267. Proceedings of the eleventh algebra seminar
پدیدآورنده :
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Alegbra, Congresses.,Logic, Symbolic and mathematical, Congresses.
رده :
{
1648
},
009d2b3152c988d45a132bbfe6b66853
268. Proceedings of the first logic congress, May 5-7, 1990, Tehran, Iran
پدیدآورنده : edited by S. Etemad, M.J.A. Larijani, Z. Movahed
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic, Symbolic and mathematical - Congresses
رده :
QA
9
.
A1
L63
1990
269. Proceedings of the first logic congress : May 5-7, 1990 Tehran, Iran
پدیدآورنده : edited by S. Etemad, M.J.A. Larijani, Z. Movahed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
L64
1990
270. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده : Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
271. Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
.
I57
1990
272. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
273. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
P74
274. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
پدیدآورنده : edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
15
275. Sorts and types in artificial intelligence
پدیدآورنده : K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
موضوع : Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
276. Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 : Proceedings
پدیدآورنده : K. H. Blasius, U. Hedtstuck, C.-R. Rollinger )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
418
277. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده : K.H. Blasius, U. Hedtstuck, C.-R. Rollinger, eds
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
Q
334
.
S63
1990
278. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
279. Southeast Asian Conference on Logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
280. Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993: proceedings
پدیدآورنده : Michael Clarke, Rudolf Kruse, Serafin Moral )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
747